1. مبانی نظریه محاسبات (نظریه زبانها و ماشینها)
پدیدآورنده : لوئیس، هری
کتابخانه: کتابخانه کوثر دانشگاه قم (قم)
موضوع : زبانهای صوری,نظریه ماشین,منطق ریاضی,پیچیدگی محاسباتی,منطق ریاضی
رده :
QA
۲۶۷
/
۳
/
ل
۹
م
۲ ۱۳۸۵
